| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 7 | 567781 | ||
| Advanced Topics in Machine Learning for Human Language Technology | Fach-/Modulprüfung | 4 | 565883 | ||
| Compiler Construction | Fach-/Modulprüfung | 7 | 564732 | ||
| Computer Vision | Fach-/Modulprüfung | 7 | 568181 | Mi 26.08.2026 09:00-11:00 AachenMünchener Halle (Aula) (1010|131) Großer Hörsaal AM (1420|210) H01 (1385|101) Mi 30.09.2026 09:00-11:00 H01 (1385|101) | |
| Vorlesung/Übung | 561315 | Mo 14:30-16:00 Roter Hörsaal AM (Ro) (1420|002) (×13) Di 10:30-12:00 Roter Hörsaal AM (Ro) (1420|002) (×13) | |||
| Efficient Algorithms | Fach-/Modulprüfung | 7 | 564517 | Di 28.07.2026 14:30-16:00 Grüner Hörsaal AM (Gr) (1420|001) Di 01.09.2026 09:00-10:30 H06 (1385|004) | |
| Tutorium | 574214 | Mo 12:30-14:00 5052 (2356|052) (×11) Mi 10:30-12:00 5052 (2356|052) (×11) | |||
| Vorlesung | 574213 | Mo 10:30-12:00 AH I (2350|028) (×11) Mo 10:30-12:00 AH III (2350|314.1) (×1) Mi 14:30-16:00 AH III (2350|314.1) (×1) Mi 14:30-16:00 AH VI (2356|051) (×10) | |||
| Embedded Systems | Fach-/Modulprüfung | 7 | 568173 | Do 06.08.2026 12:00-13:30 P1 (3210|108) P3 (3210|121) P4 (3210|142) Sparkassenforum (nur ePruefungen) (1040|U234) ZuseLab C3 (2315|211) ZuseLab C4 (2315|201) Mi 23.09.2026 12:00-13:30 Sparkassenforum (nur ePruefungen) (1040|U234) ZuseLab C1 (2315|107) | |
| Vorlesung/Übung | 561168 | Di 16:30-18:00 H07 (1385|104) (×12) Mi 10:30-12:00 H07 (1385|104) (×11) | |||
| Vorlesung/Übung | 563731 | Mo 14:30-16:00 H07 (1385|104) (×13) Di 10:30-12:00 H07 (1385|104) (×10) | |||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 7 | 565748 | Fr 07.08.2026 09:00-11:00 AH V (2356|050) Di 22.09.2026 09:00-11:00 AH VI (2356|051) | |
| Übung | 563290 | Mo 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×4) Fr 12:30-14:00 5056 (2356|056) (×7) Fr 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | |||
| Vorlesung | 562418 | Mo 10:30-12:00 5056 (2356|056) (×13) Do 10:30-12:00 5056 (2356|056) (×8) | |||
| Foundations of Functional Programming | Fach-/Modulprüfung | 7 | 566450 | Mi 19.08.2026 14:30-16:30 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Do 17.09.2026 12:30-14:30 Großer Hörsaal AM (1420|210) TEMP2 (1515|002) | |
| Übung | 575145 | Mi 14:30-16:00 AH V (2356|050) (×10) Mi 16:30-18:00 5052 (2356|052) (×1) Do 08:30-10:00 AH I (2350|028) (×9) Do 16:30-18:00 AH I (2350|028) (×9) Fr 14:30-16:00 AH II (2350|111) (×9) Fr 14:30-16:00 PPS H2 (2315|001) (×1) | |||
| Vorlesung | 575146 | Mo 12:30-14:00 AH II (2350|111) (×10) Di 16:30-18:00 AH I (2350|028) (×10) Fr 14:30-16:00 AH II (2350|111) (×1) | |||
| Foundations of Logic Programming | Fach-/Modulprüfung | 7 | 567423 | ||
| Geometry Processing | Fach-/Modulprüfung | 7 | 568175 | Mi 29.07.2026 09:00-11:00 H01 (1385|101) | |
| Übung | 560772 | Di 12:30-14:00 AH VI (2356|051) (×13) | |||
| Vorlesung | 561595 | Mo 16:30-18:00 AH V (2356|050) (×14) Di 10:30-12:00 AH V (2356|050) (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 7 | 564981 | ||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 7 | 565987 | Do 20.08.2026 12:00-13:30 Sparkassenforum (nur ePruefungen) (1040|U234) ZuseLab C3 (2315|211) Di 15.09.2026 09:00-10:30 P1 (3210|108) P4 (3210|142) | |
| Übung | 562508 | Fr 10:30-12:00 Grüner Hörsaal AM (Gr) (1420|001) (×12) | |||
| Vorlesung | 562555 | Di 14:30-16:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×13) Do 12:30-14:00 TEMP2 (1515|002) (×12) | |||
| Knowledge Representation | Fach-/Modulprüfung | 7 | 567431 | ||
| Model Checking | Fach-/Modulprüfung | 7 | 567418 | ||
| Recursion Theory | Fach-/Modulprüfung | 7 | 565302 | ||
| Shape Analysis and 3D Deep Learning | Fach-/Modulprüfung | 7 | 565467 | Do 27.08.2026 09:00-11:00 | |
| Übung | 563520 | Do 12:30-14:00 AH V (2356|050) (×10) | |||
| Vorlesung | 563712 | Di 14:30-16:00 AH V (2356|050) (×13) Do 14:30-16:00 AH V (2356|050) (×11) | |||
| Software Architectures | Fach-/Modulprüfung | 7 | 568171 | ||
| Statistical Methods in Natural Language Processing | Fach-/Modulprüfung | 8 | 567499 | ||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 7 | 566091 |